javascript - 修改Ajax.org Cloud9 Editor(Ace Editor)的装订线